Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
671	Extracting Knowledge and Computable Models from Data - Needs, Expectations, and Experience ¨ Thomas Natschlager, Felix Kossak, and Mario Drobics Software Competence Center Hagenberg, A-4232 Hagenberg, Austria Add to Reading List Source URL: www.unisoftwareplus.com Language: English - Date: 2014-11-21 04:06:25 Machine learning Data mining Data analysis Formal sciences Computational neuroscience Pattern recognition Neural network Decision tree learning Mathematica Statistics Science Mathematical software
672	NIST Big Data General Requirements Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-24 08:44:53 Data analysis Formal sciences Data management Business intelligence Emerging technologies Big data Data mining Data quality Analytics Science Computing Technology
673	Use Cases from NBD(NIST Big Data) Requirements WG http://bigdatawg.nist.gov/home.php Contents Blank Template UAVSAR Data Processing, Data Product Delivery, and Data Services (Scientific Research: Earth Science) Andrea D Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-23 09:58:11 Formal sciences Scientific modeling Database management systems Database theory Business intelligence Agent-based model Big data Data analysis Analytics Science Technology Knowledge
674	We expect other WG to comment on and probably edit the use case proposal that follows. There are 5 existing use cases (The last 3 of these use cases need minor updates for changed template) Web Search Remote Sensing of Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-08 11:40:07 Emerging technologies Database management systems Database theory Formal sciences Big data Transaction processing Data analysis Data quality Cloud computing Science Technology Computing
675	Microsoft Word - pdfreport-ba-coaching Add to Reading List Source URL: www.corpedgroup.com Language: English - Date: 2011-11-02 13:35:44 Software requirements Project management Formal methods Business analysis Business analyst Software development process Requirement Software development methodology Business requirements Software development Software Business
676	Current Draft: NBD(NIST Big Data) Requirements WG Use Case Template Use Case Title Intelligence Data Processing and Analysis Vertical (area) Defense (Intelligence) Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-04 18:34:47 Data management Intelligence Formal sciences Data analysis Military intelligence Geospatial intelligence Big data Analytics Measurement and signature intelligence Intelligence gathering disciplines National security Data collection
677	A Strategic Data Roadmap for CESD/BER Add to Reading List Source URL: doesbr.org Language: English - Date: 2014-07-31 13:52:42 Ethology Business intelligence Data analysis Scientific method Visualization Analytics Scientific modelling Data mining Social network analysis software Science Formal sciences Knowledge
678	Research Organization of Information and Systems The Institute of Statistical Mathematics[removed] Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2014-03-05 04:46:20 Scientific method Earthquakes Prediction Formal sciences Social research Statistical inference Bioinformatics Coordinating Committee for Earthquake Prediction Data analysis Science Statistics Knowledge
679	Use Case Title Computational Bioimaging Vertical (area) Scientific Research: Biological Science Author/Company/Email David Skinner1, [removed] Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 20:46:47 Data management Emerging technologies Data modeling Technology development Transaction processing Big data Data analysis In-database processing Analytics Technology Science Formal sciences
680	NIST Big Data Requirements Working Group Draft Report Introduction Use Case Summaries Government Operation Census 2010 and 2000 – Title 13 Big Data; Vivek Navale & Quyen Nguyen, NARA Application: Preserve Census 2010 a Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-25 21:34:50 Data analysis Formal sciences Business intelligence Emerging technologies Big data Data mining Data visualization Data quality Visualization Science Computing Data management

UPDATE